#include <stdio.h>
int main(void)
{
	int abc;
	
	printf("abc = %d\n",abc);
	
	return 0;
}